Dependable computingMOTET, Gilles.Theoretical computer science. 2003, Vol 290, Num 2, issn 0304-3975, 139 p.Serial Issue

Le concept de risque et son évolutionMOTET, Gilles.Problèmes économiques (Paris). 2010, Num 2990, pp 42-47, issn 0032-9304, 6 p.Article

Risques associés aux technologies logicielles : Sûreté de fonctionnement des systèmes à forte composante logicielle = Risks associated with software technologies : Safety in operations involving strong component software systemsMOTET, Gilles; GAUDAN, Stéphanie.REE. Revue de l'électricité et de l'électronique. 2005, Num 11, pp 42-50, issn 1265-6534, 9 p., 69 [10 p.]Article

Sécurité des systèmes de la robotique médicaleGUIOCHET, Jérémie; MOTET, Gilles; TONDU, Bertrand et al.Techniques de l'ingénieur. Sécurité et gestion des risques. 2007, Vol SE3, Num SE3781, issn 1638-6981, SE3781.1-SE3781.16, docSE3781.1-2 [17 p.]Article

Contraintes et temps absolu dans les réseaux de Petri Application à l'ordonnancement de tâches à durées incertaines dans les systèmes temps-réel = Constraints and absolute time in Petri nets. Application to scheduling problems in Real-Time Systems, when tasks have uncertain durationsBoutet, Frederic; Motet, Gilles.1999, 250 p.Thesis

Effets des mécanismes d'exception sur la structure des logiciels. Application aux systèmes Ada sûrs de fonctionnement = Effects of exception mechanisms on the structure of software. Application to dependable Ada systemsMarpinard, Alain; Motet, Gilles.1993, 170 p.Thesis

The customizable fault/error model for dependable distributed systemsWALTER, C. J; SURI, N.Theoretical computer science. 2003, Vol 290, Num 2, pp 1223-1251, issn 0304-3975, 29 p.Article

Factorizing fault tolerancePRASETYA, I. S. W. B; SWIERSTRA, S. D.Theoretical computer science. 2003, Vol 290, Num 2, pp 1201-1222, issn 0304-3975, 22 p.Article

Fault-diagnosis of grid structuresCARUSO, Antonio; CHESSA, Stefano; MAESTRINI, Piero et al.Theoretical computer science. 2003, Vol 290, Num 2, pp 1149-1174, issn 0304-3975, 26 p.Article

Automated techniques for provably safe mobile codeCOLBY, Christopher; CRARY, Karl; HARPER, Robert et al.Theoretical computer science. 2003, Vol 290, Num 2, pp 1175-1199, issn 0304-3975, 25 p.Article